程序證明prove: vt. ( -d; -d, 〔古、美〕 proven ) ...proving program: 驗證程序analytic program proving: 解析程序證明proving of concurrent program: 并行程序證明proving program correct: 征明程序正確性; 證明程序正確性下載手機詞典可隨時隨地查詞查翻譯